using System;
using System.Collections;
using Microsoft.Pex.Framework;

namespace Benchmarks
{
    [PexClass]
    public partial class ModTest
    {
        public static IEnumerable Power(int number, int exponent)
        {
            int counter = 0;
            int result = 1;
            while (counter++ < exponent)
            {
                result = result * number;
                yield return result;
            }
        }

        static void Main()
        {
           
        }

        [PexMethod]
        public void TestMod(int x, int y )
        {
            if (x % 10 == 5)
            {
                Console.WriteLine("1");
                // Display powers of 2 up to the exponent 8:
                foreach (int i in Power(2, 8))
                {
                    Console.Write("{0} ", i);
                }

            }
            if (x % 10 == 4)
            {
                Console.WriteLine("2");
            }
        }
    }
}